Optimal. Leaf size=206 \[ -\frac {\tan ^{-1}\left (\frac {\sqrt {3} \sqrt [6]{c} \left (\sqrt [3]{c}+\sqrt [3]{2} \sqrt [3]{d} x\right )}{\sqrt {c+d x^3}}\right )}{3\ 2^{2/3} \sqrt {3} c^{5/6} d^{2/3}}+\frac {\tan ^{-1}\left (\frac {\sqrt {c+d x^3}}{\sqrt {3} \sqrt {c}}\right )}{3\ 2^{2/3} \sqrt {3} c^{5/6} d^{2/3}}-\frac {\tanh ^{-1}\left (\frac {\sqrt [6]{c} \left (\sqrt [3]{c}-\sqrt [3]{2} \sqrt [3]{d} x\right )}{\sqrt {c+d x^3}}\right )}{3\ 2^{2/3} c^{5/6} d^{2/3}}+\frac {\tanh ^{-1}\left (\frac {\sqrt {c+d x^3}}{\sqrt {c}}\right )}{9\ 2^{2/3} c^{5/6} d^{2/3}} \]
[Out]
________________________________________________________________________________________
Rubi [A]
time = 0.02, antiderivative size = 206, normalized size of antiderivative = 1.00, number of steps
used = 1, number of rules used = 1, integrand size = 24, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.042, Rules used = {497}
\begin {gather*} -\frac {\text {ArcTan}\left (\frac {\sqrt {3} \sqrt [6]{c} \left (\sqrt [3]{c}+\sqrt [3]{2} \sqrt [3]{d} x\right )}{\sqrt {c+d x^3}}\right )}{3\ 2^{2/3} \sqrt {3} c^{5/6} d^{2/3}}+\frac {\text {ArcTan}\left (\frac {\sqrt {c+d x^3}}{\sqrt {3} \sqrt {c}}\right )}{3\ 2^{2/3} \sqrt {3} c^{5/6} d^{2/3}}-\frac {\tanh ^{-1}\left (\frac {\sqrt [6]{c} \left (\sqrt [3]{c}-\sqrt [3]{2} \sqrt [3]{d} x\right )}{\sqrt {c+d x^3}}\right )}{3\ 2^{2/3} c^{5/6} d^{2/3}}+\frac {\tanh ^{-1}\left (\frac {\sqrt {c+d x^3}}{\sqrt {c}}\right )}{9\ 2^{2/3} c^{5/6} d^{2/3}} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
Rule 497
Rubi steps
\begin {align*} \int \frac {x}{\sqrt {c+d x^3} \left (4 c+d x^3\right )} \, dx &=-\frac {\tan ^{-1}\left (\frac {\sqrt {3} \sqrt [6]{c} \left (\sqrt [3]{c}+\sqrt [3]{2} \sqrt [3]{d} x\right )}{\sqrt {c+d x^3}}\right )}{3\ 2^{2/3} \sqrt {3} c^{5/6} d^{2/3}}+\frac {\tan ^{-1}\left (\frac {\sqrt {c+d x^3}}{\sqrt {3} \sqrt {c}}\right )}{3\ 2^{2/3} \sqrt {3} c^{5/6} d^{2/3}}-\frac {\tanh ^{-1}\left (\frac {\sqrt [6]{c} \left (\sqrt [3]{c}-\sqrt [3]{2} \sqrt [3]{d} x\right )}{\sqrt {c+d x^3}}\right )}{3\ 2^{2/3} c^{5/6} d^{2/3}}+\frac {\tanh ^{-1}\left (\frac {\sqrt {c+d x^3}}{\sqrt {c}}\right )}{9\ 2^{2/3} c^{5/6} d^{2/3}}\\ \end {align*}
________________________________________________________________________________________
Mathematica [C] Result contains higher order function than in optimal. Order 6 vs. order 3 in
optimal.
time = 10.03, size = 67, normalized size = 0.33 \begin {gather*} \frac {x^2 \sqrt {\frac {c+d x^3}{c}} F_1\left (\frac {2}{3};\frac {1}{2},1;\frac {5}{3};-\frac {d x^3}{c},-\frac {d x^3}{4 c}\right )}{8 c \sqrt {c+d x^3}} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [C] Result contains higher order function than in optimal. Order 9 vs. order
3.
time = 0.33, size = 416, normalized size = 2.02
method | result | size |
default | \(-\frac {i \sqrt {2}\, \left (\munderset {\underline {\hspace {1.25 ex}}\alpha =\RootOf \left (d \,\textit {\_Z}^{3}+4 c \right )}{\sum }\frac {\left (-c \,d^{2}\right )^{\frac {1}{3}} \sqrt {2}\, \sqrt {\frac {i d \left (2 x +\frac {-i \sqrt {3}\, \left (-c \,d^{2}\right )^{\frac {1}{3}}+\left (-c \,d^{2}\right )^{\frac {1}{3}}}{d}\right )}{\left (-c \,d^{2}\right )^{\frac {1}{3}}}}\, \sqrt {\frac {d \left (x -\frac {\left (-c \,d^{2}\right )^{\frac {1}{3}}}{d}\right )}{-3 \left (-c \,d^{2}\right )^{\frac {1}{3}}+i \sqrt {3}\, \left (-c \,d^{2}\right )^{\frac {1}{3}}}}\, \sqrt {-\frac {i d \left (2 x +\frac {i \sqrt {3}\, \left (-c \,d^{2}\right )^{\frac {1}{3}}+\left (-c \,d^{2}\right )^{\frac {1}{3}}}{d}\right )}{2 \left (-c \,d^{2}\right )^{\frac {1}{3}}}}\, \left (i \left (-c \,d^{2}\right )^{\frac {1}{3}} \underline {\hspace {1.25 ex}}\alpha \sqrt {3}\, d -i \sqrt {3}\, \left (-c \,d^{2}\right )^{\frac {2}{3}}+2 \underline {\hspace {1.25 ex}}\alpha ^{2} d^{2}-\left (-c \,d^{2}\right )^{\frac {1}{3}} \underline {\hspace {1.25 ex}}\alpha d -\left (-c \,d^{2}\right )^{\frac {2}{3}}\right ) \EllipticPi \left (\frac {\sqrt {3}\, \sqrt {\frac {i \left (x +\frac {\left (-c \,d^{2}\right )^{\frac {1}{3}}}{2 d}-\frac {i \sqrt {3}\, \left (-c \,d^{2}\right )^{\frac {1}{3}}}{2 d}\right ) \sqrt {3}\, d}{\left (-c \,d^{2}\right )^{\frac {1}{3}}}}}{3}, \frac {2 i \left (-c \,d^{2}\right )^{\frac {1}{3}} \sqrt {3}\, \underline {\hspace {1.25 ex}}\alpha ^{2} d -i \left (-c \,d^{2}\right )^{\frac {2}{3}} \sqrt {3}\, \underline {\hspace {1.25 ex}}\alpha +i \sqrt {3}\, c d -3 \left (-c \,d^{2}\right )^{\frac {2}{3}} \underline {\hspace {1.25 ex}}\alpha -3 c d}{6 d c}, \sqrt {\frac {i \sqrt {3}\, \left (-c \,d^{2}\right )^{\frac {1}{3}}}{d \left (-\frac {3 \left (-c \,d^{2}\right )^{\frac {1}{3}}}{2 d}+\frac {i \sqrt {3}\, \left (-c \,d^{2}\right )^{\frac {1}{3}}}{2 d}\right )}}\right )}{2 \underline {\hspace {1.25 ex}}\alpha \sqrt {d \,x^{3}+c}}\right )}{9 d^{3} c}\) | \(416\) |
elliptic | \(-\frac {i \sqrt {2}\, \left (\munderset {\underline {\hspace {1.25 ex}}\alpha =\RootOf \left (d \,\textit {\_Z}^{3}+4 c \right )}{\sum }\frac {\left (-c \,d^{2}\right )^{\frac {1}{3}} \sqrt {2}\, \sqrt {\frac {i d \left (2 x +\frac {-i \sqrt {3}\, \left (-c \,d^{2}\right )^{\frac {1}{3}}+\left (-c \,d^{2}\right )^{\frac {1}{3}}}{d}\right )}{\left (-c \,d^{2}\right )^{\frac {1}{3}}}}\, \sqrt {\frac {d \left (x -\frac {\left (-c \,d^{2}\right )^{\frac {1}{3}}}{d}\right )}{-3 \left (-c \,d^{2}\right )^{\frac {1}{3}}+i \sqrt {3}\, \left (-c \,d^{2}\right )^{\frac {1}{3}}}}\, \sqrt {-\frac {i d \left (2 x +\frac {i \sqrt {3}\, \left (-c \,d^{2}\right )^{\frac {1}{3}}+\left (-c \,d^{2}\right )^{\frac {1}{3}}}{d}\right )}{2 \left (-c \,d^{2}\right )^{\frac {1}{3}}}}\, \left (i \left (-c \,d^{2}\right )^{\frac {1}{3}} \underline {\hspace {1.25 ex}}\alpha \sqrt {3}\, d -i \sqrt {3}\, \left (-c \,d^{2}\right )^{\frac {2}{3}}+2 \underline {\hspace {1.25 ex}}\alpha ^{2} d^{2}-\left (-c \,d^{2}\right )^{\frac {1}{3}} \underline {\hspace {1.25 ex}}\alpha d -\left (-c \,d^{2}\right )^{\frac {2}{3}}\right ) \EllipticPi \left (\frac {\sqrt {3}\, \sqrt {\frac {i \left (x +\frac {\left (-c \,d^{2}\right )^{\frac {1}{3}}}{2 d}-\frac {i \sqrt {3}\, \left (-c \,d^{2}\right )^{\frac {1}{3}}}{2 d}\right ) \sqrt {3}\, d}{\left (-c \,d^{2}\right )^{\frac {1}{3}}}}}{3}, \frac {2 i \left (-c \,d^{2}\right )^{\frac {1}{3}} \sqrt {3}\, \underline {\hspace {1.25 ex}}\alpha ^{2} d -i \left (-c \,d^{2}\right )^{\frac {2}{3}} \sqrt {3}\, \underline {\hspace {1.25 ex}}\alpha +i \sqrt {3}\, c d -3 \left (-c \,d^{2}\right )^{\frac {2}{3}} \underline {\hspace {1.25 ex}}\alpha -3 c d}{6 d c}, \sqrt {\frac {i \sqrt {3}\, \left (-c \,d^{2}\right )^{\frac {1}{3}}}{d \left (-\frac {3 \left (-c \,d^{2}\right )^{\frac {1}{3}}}{2 d}+\frac {i \sqrt {3}\, \left (-c \,d^{2}\right )^{\frac {1}{3}}}{2 d}\right )}}\right )}{2 \underline {\hspace {1.25 ex}}\alpha \sqrt {d \,x^{3}+c}}\right )}{9 d^{3} c}\) | \(416\) |
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [F]
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \text {Failed to integrate} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [B] Leaf count of result is larger than twice the leaf count of optimal. 2274 vs.
\(2 (141) = 282\).
time = 4.03, size = 2274, normalized size = 11.04 \begin {gather*} \text {Too large to display} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [F]
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \int \frac {x}{\sqrt {c + d x^{3}} \cdot \left (4 c + d x^{3}\right )}\, dx \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [F]
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \text {could not integrate} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Mupad [B]
time = 25.80, size = 453, normalized size = 2.20 \begin {gather*} \frac {\sqrt {3}\,{314928}^{1/3}\,\ln \left (\frac {{\left (\sqrt {d\,x^3+c}+\sqrt {3}\,\sqrt {-c}-2^{1/3}\,\sqrt {3}\,{\left (-c\right )}^{1/6}\,d^{1/3}\,x\right )}^3\,\left (54\,\sqrt {d\,x^3+c}-54\,\sqrt {3}\,\sqrt {-c}+54\,2^{1/3}\,\sqrt {3}\,{\left (-c\right )}^{1/6}\,d^{1/3}\,x\right )}{{\left (d^{1/3}\,x-2^{2/3}\,{\left (-c\right )}^{1/3}\right )}^6}\right )}{2916\,{\left (-c\right )}^{5/6}\,d^{2/3}}+\frac {\sqrt {3}\,{314928}^{1/3}\,\ln \left (\frac {{\left (2\,\sqrt {3}\,\sqrt {-c}-2\,\sqrt {d\,x^3+c}+2^{1/3}\,\sqrt {3}\,{\left (-c\right )}^{1/6}\,d^{1/3}\,x+2^{1/3}\,{\left (-c\right )}^{1/6}\,d^{1/3}\,x\,3{}\mathrm {i}\right )}^3\,\left (108\,\sqrt {d\,x^3+c}+108\,\sqrt {3}\,\sqrt {-c}+54\,2^{1/3}\,\sqrt {3}\,{\left (-c\right )}^{1/6}\,d^{1/3}\,x+2^{1/3}\,{\left (-c\right )}^{1/6}\,d^{1/3}\,x\,162{}\mathrm {i}\right )}{{\left (2\,d^{1/3}\,x+2^{2/3}\,{\left (-c\right )}^{1/3}-2^{2/3}\,\sqrt {3}\,{\left (-c\right )}^{1/3}\,1{}\mathrm {i}\right )}^6}\right )\,\sqrt {-\frac {1}{2}+\frac {\sqrt {3}\,1{}\mathrm {i}}{2}}}{2916\,{\left (-c\right )}^{5/6}\,d^{2/3}}+\frac {\sqrt {3}\,{314928}^{1/3}\,\ln \left (\frac {{\left (2\,\sqrt {d\,x^3+c}+2\,\sqrt {3}\,\sqrt {-c}+2^{1/3}\,\sqrt {3}\,{\left (-c\right )}^{1/6}\,d^{1/3}\,x-2^{1/3}\,{\left (-c\right )}^{1/6}\,d^{1/3}\,x\,3{}\mathrm {i}\right )}^3\,\left (108\,\sqrt {d\,x^3+c}-108\,\sqrt {3}\,\sqrt {-c}-54\,2^{1/3}\,\sqrt {3}\,{\left (-c\right )}^{1/6}\,d^{1/3}\,x+2^{1/3}\,{\left (-c\right )}^{1/6}\,d^{1/3}\,x\,162{}\mathrm {i}\right )}{{\left (2\,d^{1/3}\,x+2^{2/3}\,{\left (-c\right )}^{1/3}+2^{2/3}\,\sqrt {3}\,{\left (-c\right )}^{1/3}\,1{}\mathrm {i}\right )}^6}\right )\,\sqrt {\frac {1}{2}+\frac {\sqrt {3}\,1{}\mathrm {i}}{2}}\,1{}\mathrm {i}}{2916\,{\left (-c\right )}^{5/6}\,d^{2/3}} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________